totally bounded property

全有界性